(1 (("distance-stable(location:a,agent:b)" 0 180)
    ("distance-stable(location:a,agent:b)" 215 500)
    ("moving(agent:b)" 200 520)
    ("speed-increasing(agent:b)" 200 215)
    ("moving-fast-human(agent:b)" 210 520)
    ("distance-decreasing-to-stationary(agent:b,location:a)" 20 20)
    ("distance-decreasing(agent:b,location:a)" 20 20)
    ("distance-decreasing-to-stationary(agent:b,location:a)" 200 500)
    ("distance-decreasing(agent:b,location:a)" 220 500)
    ("distance-decreasing-to-stationary(agent:b,location:a)" 11 12)
    ("distance-decreasing(agent:b,location:a)" 11 12)))
(2 (("distance-stable(agent:a,agent:b)" 0 180)
    ("distance-stable(agent:a,agent:b)" 215 500)
    ("moving(agent:a)" 180 500)
    ("moving(agent:b)" 200 520)
    ("speed-increasing(agent:a)" 180 195)
    ("speed-increasing(agent:b)" 200 215)
    ("moving-fast-human(agent:b)" 210 520)
    ("distance-decreasing-to-stationary(agent:b,agent:a)" 200 500)
    ("distance-increasing-to-stationary(agent:a,agent:b)" 180 500)
    ("distance-decreasing(agent:b,agent:a)" 220 500)))